A Small Computer Model with Push-Down Stack1
نویسنده
چکیده
The SCMFSA computer can prove the correctness of many algorithms. Unfortunately, it cannot prove the correctness of recursive algorithms. For this reason, this article improves the SCMFSA computer and presents a Small Computer Model with PushDown Stack (called SCMPDS for short). In addition to conventional arithmetic and ”goto” instructions, we increase two new instructions such as ”return” and ”save instruction-counter” in order to be able to design recursive programs.
منابع مشابه
A Small Computer Model with Push-Down Stack
The SCMFSA computer can prove the correctness of many algorithms. Unfortunately, it cannot prove the correctness of recursive algorithms. For this reason, this article improves the SCMFSA computer and presents a Small Computer Model with Push-Down Stack (called SCMPDS for short). In addition to conventional arithmetic and ”goto” instructions, we increase two new instructions such as ”return” an...
متن کاملA Pre-Trained Ensemble Model for Breast Cancer Grade Detection Based on Small Datasets
Background and Purpose: Nowadays, breast cancer is reported as one of the most common cancers amongst women. Early detection of the cancer type is essential to aid in informing subsequent treatments. The newest proposed breast cancer detectors are based on deep learning. Most of these works focus on large-datasets and are not developed for small datasets. Although the large datasets might lead ...
متن کاملDrilling Trajectory Prediction Model for Push-the-bit Rotary Steerable Bottom Hole Assembly
The study of rotary steering drilling technology is currently one of the hot topics in the drilling engineering field. It requires accurate well trajectory control instructions when rotary steerable tools are applied to achieve the well trajectory control goal. A drilling trajectory prediction model will benefit this progress. According to the continuous beam theory, a mechanical model of push-...
متن کاملOil Price Shock and Optimal Monetary Policy in a Model of Small Open Oil Exporting Economy - Case of Iran
Oil price shocks are the main source of macroeconomic fluctuations in oil exporting countries. It is believed that appropriate monetary policy can help to stabilize these unwanted variations toward optimal allocations. A stochastic dynamic general equilibrium model featuring the properties of both cost push and wealth effect transmission channels is developed for the Iranian economy. In thi...
متن کاملDesign and Fabrication of a 911 GHz Balanced Low Noise Amplifier Using HJFET
This paper describes the design of an X-band balanced low noise amplifier (LNA) using an available HJFET device. The balanced LNA consists of a pair of electrically similar transistors whose input and output signals are divided or combined by 3 dB two-stage Wilkinson power dividers. The proposed balanced LNA is fabricated and measured. The measured results show that the noise figure is 1.30 dB ...
متن کامل